Every criminal act ought to be matched by a corresponding punishment, or so we may suppose, and every punishment ought to reflect a criminal act. We know how to count punishments. But how do we count crimes? In particular, how does our notion of a criminal action depend on whether the prohibited action is an activity, an accomplishment, an achievement, or a state?

Causal Modeling Semantics (CMS, e.g., Galles and Pearl 1998; Pearl 2000; Halpern 2000) is a powerful framework for evaluating counterfactuals whose antecedent is a conjunction of atomic formulas. We extend CMS to an evaluation of the probability of counterfactuals with disjunctive antecedents, and more generally, to counterfactuals whose antecedent is an arbitrary Boolean combination of atomic formulas. Our main idea is to assign a probability to a counterfactual (A ∨ B) > C at a causal model M as a weighted (...) average of the probability of C in those submodels that truthmake A∨ B (Briggs 2012; Fine 2016, 2017). The weights of the submodels are given by the inverse distance to the original model M, based on a distance metric proposed by Eva, Stern, and Hartmann (2019). Apart from solving a major problem in the epistemology of counterfactuals, our paper shows how work in semantics, causal inference and formal epistemology can be fruitfully combined. (shrink)

Achille Varzi è uno dei maggiori metafisici viventi. Nel corso degli anni ha scritto testi fondamentali di logica, metafisica, mereologia, filosofia del linguaggio. Ha sconfinato nella topologia, nella geografia, nella matematica, ha ragionato di mostri e confini, percezione e buchi, viaggi nel tempo, nicchie, eventi e ciambelle; e non ha disdegnato di dialogare con gli abitanti di Flatlandia, con Neo e con Terminator. Tra le sue opere principali: Holes and Other Superficialities e Parts and Places. The Structures of Spatial Representation, (...) entrambi scritti insieme a R. Casati per MIT Press; Il mondo messo a fuoco, Laterza; e il suo libro più recente: Le tribolazioni del filosofare, con C. Calosi, per Laterza. -/- Da una giornata all’Università di Urbino nasce questa conversazione a molte voci sulla e con la filosofia di Achille C. Varzi. In un dialogo critico al quale l’Autore si presta con generosità e onestà intellettuale, Andrea Borghini, Francesco Calemi, Claudio Calosi, Elena Casetta, Valeria Giardino, Pierluigi Graziani, Patrizia Pedrini, Daniele Santoro e Giuliano Torrengo lo interrogano e mettono alla prova sui temi affrontati, nel corso degli anni, in campi diversi. Il risultato è un percorso che si snoda attraverso molti mondi, dalla logica alla metafisica, dalla filosofia del linguaggio alla filosofia della matematica, dalla mereologia alla filosofia del tempo, spingendosi in qualche caso oltre i confini del saggio filosofico. (shrink)

Nec per se quemquam tempus sentire fatendumstsemotum ab rerum motu placidaque quiete.Lucrezio, De Rerum Natura, I, 62-63 1. Unità di misura e convenzioni C’è un senso banale, accettato da tutti, in cui il tempo, o più precisamente la misurazione del tempo, contiene un elemento convenzionale: l’unità di misura temporale che adottiamo è il frutto di una scelta dettata da considerazioni pragmatiche ed è almeno in parte arbitraria. Attualmente lo standard internazionale prevede che l’unità di bas...

Secondo Levinson (1985) ci sono delle forti disanalogie tra nomi di persona e titoli di opere. In primo luogo «per quel che riguarda i loro rispettivi ruoli nella comprensione e nella interpretazione degli oggetti che denotano». Inoltre, nomi e titoli sarebbero diversi dal momento che la funzione di «facilitare il riferimento è davvero centrale nei nomi di persona, laddove nei titoli tale funzione è tipicamente alla pari o addirittura secondaria rispetto ad altre funzioni». In ciò che segue c...

These are the proceedings of the Workshop on Quantum Logic held in Erice (Sicily), December 2 - 9, 1979, at the Ettore Hajorana Centre for Scientific Culture. A conference of this sort was originally proposed by Giuliano Toraldo di Francia, who suggested the idea to Antonino Zichichi, and thus laid the foundation for the Workshop. To both of them we express our appreciation and thanks, also on behalf of the other participants, for having made this conference possible. There were (...) approximately fifty participants; their names and institutions are listed in the text. Quantum logic, which has now a history of some forty or more years, has seen remarkable growth during the sixties and seventies. The papers in the present volume presuppose, by and large, some acquaintance with the elements of the subject. These may be found in the well-known books by J.H. Jauch (Foundations of Quantum Hechanics; Reading, 1968), V.S. Varadarajan (Geometry of Quantum Theory: Princeton, 1968), and C. Piron (Foundations of Quantum Theory; New York, 1976). The initial program for the conference listed about twenty-five invited papers. But in the context of a very active and qualified attendance, other contributions were offered. This volume contains all of them. The program listed six main topics: I. Classification or different areas of quantum logic, and open problems. II. Comparison and unification of different approaches to quantum theories; problems of interpretation. III. Formal quantum logic; axiomatics. IV. Hodal interpretations of quantum logic. v vi FOREWORD V. Quantum set theory. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Books ReceivedAquinas on Being. By Anthony Kenny. Oxford: Clarendon Press, 2002. Pp. x + 212. Price not given.Before and after Avicenna: Proceedings of the First Conference of the Avicenna Study Group. Edited by David C. Reisman, with the assistance of Ahmed H. al Rahim. Leiden: Brill, 2003. Pp. xix + 302. Price not given.Beside Still Waters: Jews, Christians, and the Way of the Buddha. Edited by Harold Kasimow, John (...) P. Keenan, and Linda Klepinger Keenan. Boston: Wisdom Publications, 2003. Pp. 284. Paper $14.95.The Buddhist Unconscious: The ālaya-vijñāna in the Context of Indian Buddhist Thought. By William S. Waldron. London and New York: RoutledgeCurzon, 2003. Pp. xvi + 269. Price not given.Comparative Political Philosophy: Studies under the Upas Tree. Edited by Anthony J. Parel and Ronald C. Keith. Lanham, Maryland: Lexington Books, 2003. Pp. xxxviii + 260. Paper $26.95.The Confucian Quest for Order: The Origin and Formation of the Political Thought of Xun Zi. By Masayuki Sato. Leiden: Brill, 2003. Pp. xviii + 500. Price not given.Gathering the Meanings: The Compendium of Categories: The Arthaviniścaya Sūtra and Its Commentary Nibandhana. Translated from the Sanskrit by N. H. Samtani. Berkeley: Dharma Publishing, 2002. Pp. xxxiv + 390. Price not given.I Have Arrived, I Am Home: Celebrating Twenty Years of Plum Village Life. By Thich Nhat Hanh. Berkeley: Parallax Press, 2003. Pp. 253. Paper $25.00.Identity and the Moral Life. By Mrinal Miri. New Delhi: Oxford University Press, 2003. Pp. xvii + 132. Hardcover Rs 645.00.Indian Philosophers and Postmodern Thinkers: Dialogues on the Margins of Culture. By Carl Olson. New Delhi: Oxford University Press, 2002. Pp. xv + 331. Hardcover Rs 950.00.Islamic Humanism. By Lenn E. Goodman. New York: Oxford University Press, 2003. Pp. xiii + 273. Price not given.Letting Go: The Story of Zen Master Tōsui. Translated by Peter Haskel. Honolulu: University of Hawai'i Press, 2001. Pp. xv + 167. Hardcover $45.00. Paper $16.95.A Life Journey to the East: Sinological Studies in Memory of Giuliano Bertuccioli (1923-2001). Edited by Antonino Forte and Federico Masini. Kyoto: Scuola Italiana di Studi sull'Asia Orientale, 2002. Pp. xxxv + 280. Price not given.The Measure of Things: Humanism, Humility and Mystery. By David E. Cooper. Oxford: Clarendon Press, 2002. Pp. ix + 372. Price not given. [End Page 277]Mencius, Hume and the Foundations of Ethics. By Xiusheng Liu. Aldershot, Hampshire: Ashgate Publishing Limited, 2003. Pp. vii + 204. Price not given.Monks and Monarchs, Kinship and Kingship: Tanqian in Sui Buddhism and Politics. By Chen Jinhua. Kyoto: Scuola Italiana di Studi sull'Asia Orientale, 2002. Pp. xiii + 310. Price not given.Music in the Sky: The Life, Art, and Teachings of the 17th Gyalwa Karmapa Ogyen Trinley Dorje. By Michele Martin. Ithaca: Snow Lion Publications, 2003. Pp. 351. Paper $18.95, U.K. £12.95.New Confucianism: A Critical Examination. Edited by John Makeham. New York: Palgrave Macmillan, 2003. Pp. 262. Hardcover $55.00.On the Boundaries of Theological Tolerance in Islam: Abū Hāmid Al-Ghāzalī's Faysal al-Tafriqa Bayna al-Islām wa al-Zandaqa. By Sherman A. Jackson. Oxford: Oxford University Press, 2002. Pp. xiv + 156. Hardcover Rs 295.00.Pandita Ramabai's American Encounter: The Peoples of the United States (1889). By Pandita Ramabai and translated and edited by Meera Kosambi. Bloomington: Indiana University Press, 2003. Pp. xi + 284. Hardcover $59.95. Paper $29.95.Parmenides of Elea: A Verse Translation with Interpretative Essays and Commentary to the Text. By Martin J. Henn. Westport, Connecticut: Praeger, 2003. Pp. 147. Hardcover $59.95.Philosophes taoïstes, tome II: Huainan Zi, texte traduit, présenté et annoté sous la direction de Charles le Blanc et de Rémi Mathieu. Paris: Éditions Gallimard, 2003. Pp. lxxxiii + 1182. Hardcover €56,90.The Philosophy and Ethics of the Vīraśaiva Community. By Dan A. Chekki. Lewiston, New York: The Edwin Mellen Press, 2003. Pp. xxv + 287. Hardcover $119.95.Poems of Hanshan. Translated by Peter Hobson with introduction by T. H. Barrett. Walnut Creek, California: AltaMira Press, 2003. Pp. viii + 151. Hardcover $65.00. Paper $19.95.Psychoanalysis and Buddhism: An Unfolding Dialogue. Edited by Jeremy D. Safran. Boston... (shrink)

PREFACEProf. Göran Sundholm of Leiden University inspired the group of Logic at Lille and Valparaíso to start a fundamental review of the dialogical conception of logic by linking it to constructive type logic. One of Sundholm's insights was that inference can be seen as involving an implicit interlocutor. This led to several investigations aimed at exploring the consequences of joining winning strategies to the proof-theoretical conception of meaning. The leading idea is, roughly, that while introduction rules lay down the conditions (...) under which a winning strategy for the Proponent may be built, the elimination rules lay down those elements of the Opponent's assertions that the Proponent has the right to use for building winning strategy. It is the pragmatic and ethical features of obligations and rights that naturally lead to the dialogical interpretation of natural deduction.During the Visiting Professorship of Prof. Sundholm at Lille in (2012) the group of Lille started delving into the ways of implementing Per Martin-Löf's Constructive Type Theory with the dialogical perspective. In particular, Aarne Ranta's (1988) paper, the first publication on the subject, was read and discussed during Sundholm’s seminar. The discussions strongly suggested that the game-theoretical conception of quantifiers as deploying interdependent moves provide a natural link between CTT and dialogical logic. This idea triggered several publications by the group of Lille in collaboration with Nicolas Clerbout and Juan Redmond at the University of Valparaíso, including the publication of the book (2015) by Clerbout / Rahman that provides a systematic development of this way of linking CTT and the dialogical conception of logic. However the Clerbout / Rahman book was written from the CTT perspective on dialogical logic, rather than the other way round. The present book should provide the perspective from the other side of the dialogue between the Dialogical Framework and Constructive Type Theory. The main idea of our present study is that Sundholm's (1997) notion of epistemic assumption is closely linked to the Copy-Cat Rule or Socratic Rule that distinguishes the dialogical framework from other game-theoretical approaches. One way to read the present book is as a further development of Sundholm’s extension of Austin's (1946, p. 171) remark on acts of assertion to inference. Indeed, Sundholm (2013, p. 17) gave the following forceful formulation: When I say therefore, I give others my authority for asserting the conclusion, given theirs for asserting the premisses.Per Martin-Löf, in recent lectures, have utilized the dialogical perspective on epistemic assumptions to get out of a certain circle that threatens the explanation of the notions of inference and demonstration. A demonstration may be explained as a chain of (immediate) inferences starting from no premisses. That an inference J1... Jn—————Jis valid means that the conclusion J can be made evident on the assumption that J1, …, Jn are known. The notion of epistemic assumption thus enters in the explanation of valid inference. We cannot, however, in this explanation understand 'known' in the sense of demonstrated, for then we are explaining the notion of inference in terms of demonstration, whereas demonstration has been explained in terms of inference. Martin-Löf suggests that we here understand 'known' in the sense of asserted, so that epistemic assumptions are judgements others have made, judgements for which others have taken the responsibility; that the inference is valid then means that, given that others have taken responsbility for the premisses, I can take responsibility for the conclusion:The circularity problem is this: if you define a demonstration to be a chain of immediate inferences, then you are defining demonstration in terms of inference. Now we are considering an immediate inference and we are trying to give a proper explanation of that; but, if that begins by saying: Assume that J1, …, Jn have been demonstrated – then you are clearly in trouble, because you are about to explain demonstration in terms of the notion of immediate inference, hence when you are giving an account of the notion of immediate inference, the notion of demonstration is not yet at your disposal. So, to say: Assume that J1, …, Jn have already been demonstrated, makes you accusable of trying to explain things in a circle. The solution to this circularity problem, it seems to me now, comes naturally out of this dialogical analysis. […]The solution is that the premisses here should not be assumed to be known in the qualified sense, that is, to be demonstrated, but we should simply assume that they have been asserted, which is to say that others have taken responsibility for them, and then the question for me is whether I can take responsibility for the conclusion. So, the assumption is merely that they have been asserted, not that they have been demonstrated. That seems to me to be the appropriate definition of epistemic assumption in Sundholm's sense. One of the main tenets of the present study is that the further move of relating the Socratic Rule rule with judgemental equality provides both a simpler and more direct way to implement the constructive type theoretical approach within the dialogical framework. Such a reconsideration of the Socratic Rule, roughly speaking, amounts to the following. 1.A move from P that brings-forward a play-object in order to defend an elementary proposition A can be challenged by O. 2.The answer to such a challenge, involves P bringing forward a definitional equality that expresses the fact that the play-object chosen by P copies the one O has chosen while positing A. For short, the equality expresses at the object-languaje level that the defence of P relies on the authority given to O to be able to produce the play-objects she brings forward. More generally, according to this view, a definitional equality established by P and brought forward while defending the proposition A, expresses the equality between a play-object (introduced by O) and the instruction for building a play-object deployed by O while affirming A. So it can be read as a computation rule that indicates how to compute O's instructions. Let us recall that from the strategic point of view, O's moves correspond to elimination rules of demonstrations. Thus, the dialogical rules that prescribe how to introduce a definitional equality – correspond – at the strategic level – to the definitional equality rules for CTT as applied to the selector-functions involved in the elimination rules. So, what we are doing here is extending the dialogical interpretation of Sundholm's epistemic assumption to the rules that set up the definitional equality of a type.The present work is structured in the following way:•In the Introduction we state the main tenets that guide our book•Chapter II contains a brief overview of Constructive Type Theory penned by Ansten Klev with exercises and their solutions. •Chapter III offers a novel presentation of the dialogical conception of logic. In fact, the first two sections of the chapter provide an overview of standard dialogical logic – including solved exercises, slightly adapted to the content of the present volume. The rest of the sections develop a new dialogical approach to Constructive Type Theory. •Chapters IV and V contain the main body of our study, namely the relation between the Socratic Rule, epistemic assumptions, and equality. The chapter provides the reader with thoroughly worked out examples with comments. •After the Final Remarks the book containsa.An appendix containing a an overview of all the rules for the new formulation of dialogical approach to constructive type theory developed in the book; b.a brief outline of Per Martin-Löf's informal presentation of the demonstration of the axiom of choice.c.two examples of a tree-shaped graph of an extensive strategy. Acknowledgments: Many thanks to Mark van Atten (Paris1), Giuliano Bacigalupo (Zürich), Charles Zacharie Bowao (Univ. Ma Ngouabi de Brazzaville, Congo), Christian Berner (Lille3), Michel Crubellier (Lille3), Pierre Cardascia (Lille3), Oumar Dia (Dakar), Marcel Nguimbi ((Univ. Marien Ngouabi de Brazzaville, Congo), Adjoua Bernadette Dango (Lille3 / Alassane Ouattara de Bouaké, Côte d'Ivoire), Steephen Rossy Eckoubili (Lille3), Johan Georg Granström (Zürich), Gerhard Heinzmann (Nancy2), Muhammad Iqbal (Lille3), Matthieu Fontaine (Lille3), Radmila Jovanovic (Belgrad), Hanna Karpenko (Lille3), Laurent Keiff (Lille3), Sébastien Magnier (Saint Dennis, Réunion), Clément Lion (Lille3), Gildas Nzokou (Libreville), Fachrur Rozie (Lille3), Helge Rückert (Mannheim), Mohammad Shafiei (Paris1), and Hassan Tahiri (Lisbon), for rich interchanges, suggestions on the main claims of the present study and proof-reading of specific sections of the text. Special thanks to Gildas Nzokou (Libreville), Steephen Rossy Eckoubili (Lille3) and Clément Lion (Lille3), with whom a Pre-Graduate Textbook in French on dialogical logic and CTT is in the process of being worked out – during the visiting-professorship in 2016 of the former. Eckoubili is the author of the sections on exercises for dialogical logic, Nzokou cared of those involving the development of CTT-demonstrations out of winning-strategies. Special thanks also to Ansten Klev (Prague) for helping with technical details and conceptual issues on CTT, particularly so as author of the chapter introducing CTT. (shrink)

The philosophical theory of scientific explanation proposed here involves a radically new treatment of causality that accords with the pervasively statistical character of contemporary science. Wesley C. Salmon describes three fundamental conceptions of scientific explanation--the epistemic, modal, and ontic. He argues that the prevailing view is untenable and that the modal conception is scientifically out-dated. Significantly revising aspects of his earlier work, he defends a causal/mechanical theory that is a version of the ontic conception. Professor Salmon's theory furnishes a robust (...) argument for scientific realism akin to the argument that convinced twentieth-century physical scientists of the existence of atoms and molecules. To do justice to such notions as irreducibly statistical laws and statistical explanation, he offers a novel account of physical randomness. The transition from the "reviewed view" of scientific explanation to the causal/mechanical model requires fundamental rethinking of basic explanatory concepts. (shrink)

In this article I try to refute the so-called "libertarian" theory of free will, and to examine how our conclusion ought to modify our common attitudes of praise and blame. In attacking the libertarian view, I shall try to show that it cannot be consistently stated. That is, my dscussion will be an "analytic-philosophic" one. I shall neglect what I think is in practice an equally powerful method of attack on the libertarian: a challenge to state his theory in such (...) a way that it will fit in the modern biology and psychology, which are becoming increasingly physicalistic. (shrink)

_Rhetoric_ is the sixth volume in The New Hackett Aristotle series, a series featuring translations, with Introductions and Notes, by C. D. C. Reeve, Delta Kappa Epsilon Distinguished Professor of Philosophy at The University of North Carolina at Chapel Hill. The series will eventually include all of Aristotle's works.

In our papers on the rationality of magic, we distinghuished, for purposes of analysis, three levels of rationality. First and lowest (rationalitYl) the goal directed action of an agent with given aims and circumstances, where among his circumstances we included his knowledge and opinions. On this level the magician's treatment of illness by incantation is as rational as any traditional doctor's blood-letting or any modern one's use of anti-biotics. At the second level (rationalitY2) we add the element of rational thinking (...) or thinking which obeys some set of explicit rules, a level which is not found in magic in general, though it is sometimes given to specific details of magical thinking within the magical thought-system. It was the late Sir Edward E. Evans-Pritchard who observed that when considering magic in detail the magician may be as consistent or critical as anyone else; but when considering magic in general, or any system of thought in general, the magician could not be critical or even comprehend the criticism. Evans-Pritchard went even further: he was sceptical as to whether it could be done in a truly consistent manner: one cannot be critical of one's own system, he thought. On this level (rationalitY2) of discussion we have explained (earlier) why we prefer to wed Evans Pritchard's view of the magician's capacity for piece-meal rationality to Sir James Frazer's view that magic in general is pseudo-rational because it lacks standards of rational thinking. (shrink)

The flowering of creative and speculative philosophy that emerged in modern Europe--particularly in Germany--is a thrilling adventure story as well as an essential chapter in the history of philosophy. In this integrative narrative, Solomon provides an accessible introduction to the major authors and movements of modern European philosophy, including the Enlightenment and Romanticism, Rousseau, German Idealism, Kant, Fichte, Schelling and the Romantics, Hegel, Schopenhauer, Kierkegaard, Feuerbach, Max Brentano, Meinong, Frege, Dilthey, Bergson, Nietzsche, Husserl, Freud, Wittgenstein, Heidegger, hermeneutics, Sartre, Postmodernism, Structuralism, (...) Foucault, and Derrida. (shrink)

Investigates the resolution of contradictions and ambiguous derogations in a code, by means of the imposition of partial orderings. Although formulated as a study in the logic of norms, it provided the initial ideas for work on the logic of theory (or belief) change, developed by the authors in a series of papers by the authors and Peter Gardenfors beginning in 1985.

Aristotle's treatise De Interpretatione is one of his central works; it continues to be the focus of much attention and debate. C. W. A. Whitaker presents the first systematic study of this work, and offers a radical new view of its aims, its structure, and its place in Aristotle's system, basing this view upon a detailed chapter-by-chapter analysis.By treating the work systematically, rather than concentrating on certain selected passages, Whitaker is able to show that, contrary to traditional opinion, it forms (...) an organized and coherent whole. He argues that the De Interpretatione is intended to provide the underpinning for dialectic, the system of argument by question and answer set out in Aristotle's Topics; and he rejects the traditional view that the De Interpretatione concerns the assertion and is oriented towards the formal logic of the Prior Analytics. In doing so, he sheds valuable new light on some of Aristotle's most famous texts. (shrink)

The Phenomenology of Spirit was Hegel's grandest experiement, changing our vision of the world and the very nature of philosophical enterprise. In this book, Solomon captures the bold and exhilarating spirit, presenting the Phenomenology as a thoroughly personal as well as philosophical work. He begins with a historical introduction, which lays the groundwork for a section-by-section analysis of the Phenomenology. Both the initiated as well as readers unacquainted with the intricacies of German idealism will find this to be an accessible (...) and exciting introduction to this great philosopher's monumental work. (shrink)

'Original and provocative . . . engagingly written. (C Fred Alford) counters Levinas's notorious obscurity with a goodly dose of transparency' - John Lechte, Macquarrie University Abstract and evocative, writing in what can only be ...

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

Ivancovsky et al. propose a novelty-seeking model linking curiosity to creativity. This commentary suggests integrating their work with a stage-based creativity model for additional insights. It also encourages readers to address knowledge gaps identified by the authors, including factors that trigger the pursuit of creative solutions. We aim to refine theory and direct future research to clarify the complex curiosity–creativity relationship.

Expounds on the relationship between theory and practice as applied, adjusted, and inaugurated in health care.

C. Fred Alford interviewed working people, prisoners, and college students in order to discover how people experience evil -- in themselves, in others, and in ...